Forschungsdatenbank der Universität in Tübingen

Datenbanken

Tel./ Fax.:

• Deduktion unter Unsicherheit (1990-92)
• Methodenbanken (1990-92)
• Das Projekt HyperMan (1990-92)
• Optimierungsmethoden für Deduktive Datenbanken (1990-92)
• Das Projekt X-TUMIS (1990-92)

  ---

• Deduktion unter Unsicherheit (1994-96)
• Modell- und Methodenbanken / Objektbanken für diskrete Strukturen (1994-96)
• HyperFacs (1994-96)
• Optimierungsmethoden für Deduktive Datenbanken (1994-96)
• X-TUMIS (1994-96)
• Venona (1994-96)

HOME SUCHEN KONTAKT LINKS